Gradual negation types and the Python type system
jellezijlstra.github.io·14h·
Discuss: Hacker News
🔬Refinement Types
Python Fundamentals: case
dev.to·9h·
Discuss: DEV
✅Format Verification
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Issue 481
haskellweekly.news·9h
🔗Functional Compilers
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·2d
🎯Gradual Typing
Kiro and the future of AI spec-driven software development
kiro.dev·1d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Cactus Language • Stylistics 4
inquiryintoinquiry.com·2d
🌳Context free grammars
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.org·17h
🌳Context free grammars
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·6h
🔐Quantum Security
A Wide Reduction Trick (2022)
words.filippo.io·18h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Almost Always Auto (2013)
herbsutter.com·12h·
Discuss: Hacker News
🔒Type Safety
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
The Big OOPs: Anatomy of a Thirty-Five Year Mistake
computerenhance.com·3h·
Discuss: Hacker News
🏗️Compiler Archaeology
Go interfaces and json.Unmarshal
fbrs.io·1d
🔧Binary Parsers
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·21h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Breaking to Build: Fuzzing the Kotlin Compiler
blog.jetbrains.com·8h·
Discuss: Hacker News
🐛Fuzzing
LLMs Are Bad at Being Forced
morphllm.com·9h·
Discuss: Hacker News
💻Local LLMs
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·19h·
Discuss: Hacker News
🔗Concatenative Programming
A Rust shaped hole
ente.io·3d
🦀Rust Macros
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·1d·
Discuss: Hacker News
✨Algebraic Effects